| 翻訳と辞書 |
| David Seetapun ： ウィキペディア英語版 |
David Seetapun
David Seetapun is an English logician and failed investment banker.
== Academic Work ==
During the fall of 1990, David Seetapun was said to have "'used a very interesting 0'"- priority argument to prove that every r.e. degree 0 < a < 0' is locally noncappable, namely (35) (Va) o < a < o' (3c) a < c (Vb) b < c[anb = 0 => b = 0". Seetapun received a PhD in logics from Cambridge in 1991, under Robert I. Soare, the topic was "Contributions to recursion theory". He went on to a post-doctoral position at Berkeley where in 1995 he published an influential article with his post-doctoral adviser Theodore Slaman on the topic of Ramsey's theorem.〔David Seetapun and Theodore A. Slaman. 1995. On the Strength of Ramsey's Theorem. Notre Dame J. Formal Logic Volume 36, Number 4 (1995), 570–582.〕 He also proposed the socalled "Seetapun Enigma", a mathematical puzzle that was not solved until 2010 by Chinese undergraduate student Liu Lu.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「David Seetapun」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|